C programming language) - PDFSEARCH.IO - Document Search Engine

C programming language)
Results: 6760

#	Item
141	Mind your Language(s) A discussion about languages and security (Long Version) ´ Eric Jaeger, Olivier Levillain and Pierre Chifflier Add to Reading List Source URL: spw14.langsec.org Language: English - Date: 2014-06-12 22:54:26 Software engineering Computing Computer programming Data types Cross-platform software Object-oriented programming languages Procedural programming languages C Printf format string Relational operator Const Type conversion
142	Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:48 Logic in computer science Programming language semantics Type theory Logic programming Automated theorem proving Operational semantics Substitution Syntax Type system Semantics C++ classes Monad
143	 OBJECT-ORIENTED PROGRAMMING AND THE OBJECTIVE-C LANGUAGE NeXT DEVELOPER’S LIBRARY Add to Reading List Source URL: gnustep.org Language: English - Date: 2001-09-18 12:09:14
144	West Virginia University ACADEMIC STATUS UPDATE FOR GENERAL STUDENT - - Add to Reading List Source URL: assets.slate.wvu.edu Language: English - Date: 2015-06-22 09:23:05 Software engineering Computing Programming language theory Procedural programming languages C Cross-platform software
145	A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:58 Software engineering Computing Computer programming Data types Type theory C++ Procedural programming languages ALGOL 68 Type system C++ classes Subtyping Const
146	Adapting Scheme-Like Macros to a C-Like Language Kevin Atkinson Matthew Flatt University of Utah, School of Computing Add to Reading List Source URL: scheme2011.ucombinator.org Language: English - Date: 2014-01-06 09:39:58 Software engineering Computer programming Computing Source code Transformation languages C Functional languages Hygienic macro Scheme Syntax Macro Make
147	Design and Implementation of Transactional Constructs for C/C++ Yang Ni James Cownie Adam Welc Ali-Reza Adl-Tabatabai Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2008-08-19 01:07:09 Computing Software Transaction processing Concurrency control Programming language implementation Compiler construction Data management Software transactional memory Transactional memory Optimistic concurrency control Lock Isolation
148	JPL Java Coding Standard JPL Institutional Coding Standard for the Java Programming Language Version 1.0 Published March 31, 2014 Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-30 12:26:27 Computing Software engineering Computer programming Cross-platform software Java Data types Procedural programming languages Type conversion Type theory Relational operator C Integer overflow
149	Typing One-to-One and One-to-Many Correspondences in Security Protocols Andrew D. Gordon1 and Alan Jeffrey2 1 2 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:36 Software engineering Programming language theory Computing C Struct ALGOL 68 BurrowsAbadiNeedham logic OK -calculus
150	Interfacing C/C++ and Python with SWIG David M. Beazley Department of Computer Science University of Utah Salt Lake City, Utah 84112 Add to Reading List Source URL: swig.org Language: English - Date: 2008-03-12 19:12:21 Software engineering Computer programming Programming language theory Cross-platform software Object-oriented programming languages Scripting languages High-level programming languages Procedural programming languages SWIG Python Entry point D

UPDATE